1.2.2.8. alpha.core.PointerArithm (C)
Check for pointer arithmetic on locations other than array elements.

Examples:

void test() {
  int x;
  int *p;
  p = &x + 1; // warn
}